3366 Γκέντελ - definizione. Che cos'è 3366 Γκέντελ
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:     

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è 3366 Γκέντελ - definizione


3366 Γκέντελ         
ΑΣΤΕΡΟΕΙΔΉΣ
Ο Γκέντελ (Godel) είναι αστεροειδής της Κύριας Ζώνης Αστεροειδών με απόλυτο μέγεθος (όπως ορίζεται για το Ηλιακό Σύστημα) 11,3. Ανακαλύφθηκε το 1985 από τον Ελβετό αστρονόμο Τόμας Σίλντκνεχτ, που παρατηρούσε από το αστεροσκοπείο του Πανεπιστημίου της Βέρνης στο Τσίμερβαλντ, και πήρε το όνομά του προς τιμή του σημαντικού Αυστριακού μαθηματικού Κουρτ Γκέντελ.
Κουρτ Γκέντελ         
  • Ταφόπλακα του Kurt Gödel στο κοιμητήριο του Πρίνστον
ΑΥΣΤΡΟ-ΑΜΕΡΙΚΆΝΟΣ ΕΠΙΣΤΉΜΟΝΑΣ ΤΗΣ ΛΟΓΙΚΉΣ, ΜΑΘΗΜΑΤΙΚΌΣ ΚΑΙ ΦΙΛΌΣΟΦΟΣ
Γκέντελ; Kurt Gödel
Ο Κουρτ Γκέντελ (γερμ.: Kurt Friedrich Gödel, 28 Απριλίου 1906 – 14 Ιανουαρίου 1978) ήταν Αυστρο-Αμερικανός επιστήμονας της λογικής, μαθηματικός και φιλόσοφος. Ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών, ο Γκέντελ είχε τεράστια επιρροή στην επιστημονική και φιλοσοφική σκέψη του 20ου αιώνα, σε μια εποχή όταν πολλοί, όπως ο Μπέρτραντ Ράσελ, ο Α. Ν. Γουάιτχεντ και ο Νταβίντ Χίλμπερτ, πρωτοπορούσαν στη χρήση της λογικής και της θεωρίας συνόλων για την κατανόηση των θεμελίων των μαθηματικών.Principia Mathematica (Stanford Encyclopedia of Philosophy)
Θεωρήματα μη πληρότητας του Γκέντελ         
Στη μαθηματική λογική, τα θεωρήματα μη πληρότητας του Γκέντελ, τα οποία αποδείχτηκαν από τον Κουρτ Γκέντελ (Kurt Gödel) το 1931, είναι δύο θεωρήματα που υποδεικνύουν έμφυτους περιορισμούς σε όλα τα (πλην των τετριμμένων) τυπικά συστήματα των μαθηματικών. Τα θεωρήματα είναι πολύ σημαντικά για τη φιλοσοφία των μαθηματικών. Ερμηνεύονται γενικά ως μια απόδειξη πως το πρόγραμμα του Χίλμπερτ να βρεθεί ένα πλήρες και συνεπές σύνολο από αξιώματα για όλα τα μαθηματικά είναι αδύνατο, δίνοντας έτσι αρνητική απάντηση στο δεύτερο πρόβλημα του Χίλμπερτ.